(a -> a) -> f a